\begin{tabbing}
es{-}triggers(${\it es}$;$i$;${\it ds}$;${\it conds}$)($e$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if fpf{-}dom(KindDeq; es{-}kind(${\it es}$; $e$); ${\it conds}$) $\wedge_{b}$ es{-}loc(${\it es}$; $e$) = $i$\+
\\[0ex]then '(${\it conds}$KindDeq(es{-}kind(${\it es}$; $e$)).2)(es{-}state{-}when(${\it es}$;$e$),es{-}val(${\it es}$; $e$))'
\\[0ex]else inr $\cdot$ 
\\[0ex]fi 
\-
\end{tabbing}